T. Litak; 2015; "Constructive Modalities with Provability Smack"
Memo
Tadeusz Litak
arxiv: https://arxiv.org/abs/1708.05607
Leo Esakia on Duality in Modal and Intuitionistic Logicsで公開